/*
 * bsp_timer.h
 *
 *  Created on: 2025 Feb 17
 *      Author: SFLY
 */

#ifndef MOTOR_SOURCE_HW_DRIVERS_BSP_TIMER_H_
#define MOTOR_SOURCE_HW_DRIVERS_BSP_TIMER_H_
#include "driverlib.h"
#include "device.h"

void Bsp_Timer_Init(void);
uint32_t Bsp_Get_Timer_Count(void);
float Bsp_Calculate_Delta_Count(uint32_t current, uint32_t previous);
#endif /* MOTOR_SOURCE_HW_DRIVERS_BSP_TIMER_H_ */
